Skip to content

avoid data race when writing task states#32

Merged
tgross merged 1 commit intomainfrom
b-panic-in-runner-redux
Dec 3, 2025
Merged

avoid data race when writing task states#32
tgross merged 1 commit intomainfrom
b-panic-in-runner-redux

Conversation

@tgross
Copy link
Collaborator

@tgross tgross commented Dec 3, 2025

In #31 we fixed a panic when adding a task event, but the fix was incomplete and just panicked again later under heavy concurrent use. This PR fixes the follow-up panic but also fixes a data race that popped up when testing the fix with a build that used -race.

In #31 we fixed a panic when adding a task event, but the fix was incomplete and
just panicked again later under heavy concurrent use. This PR fixes the
follow-up panic but also fixes a data race that popped up when testing the fix
with a build that used `-race`.
@tgross tgross merged commit 8fcd596 into main Dec 3, 2025
2 checks passed
@tgross tgross deleted the b-panic-in-runner-redux branch December 3, 2025 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants